881. The practical xilinx designer lab book
المؤلف: Van den Bout,Dave
المکتبة: كتابخانه پژوهشگاه نیرو (طهران)
موضوع: ، Digital integrated circuits design construction,، Logic design,، Microcomputers design and constrution
رده :
TK
7874
.
65
.
V36
1998
882. The practical xilinx designer lab book: version 1.5
المؤلف: Van Den Bout, David
المکتبة: كتابخانه پژوهشگاه نیرو (طهران)
موضوع: ، Digital integrated circuits- design and construction,، Logic design,، Microcomputer- design and construction
رده :
TK
7874
.
65
.
V36
1999
883. The unknown component problem
المؤلف: / by Tiziano Villa ... [et al.
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Electronic circuit design.,Logic design.,System design.
رده :
TK7867
.
U755
2012
884. The unknown component problem
المؤلف: by Tiziano Villa ... [et al.]
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Electronic circuit design,Logic design,System design
رده :
TK7867
.
U755
2012eb
885. Theorem Proving in Higher Order Logics :
المؤلف: edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Joakim Wright, Jim Grundy, John Harrison.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
886. Theory and Practice of Model Transformations :
المؤلف: edited by Keith Duddy, Gerti Kappel.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
D47
E358
2013
887. Theory and Practice of Model Transformations
المؤلف: edited by Zhenjiang Hu, Juan Lara
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer Communication Networks,Computer science,Logic design,Software engineering,Computer Communication Networks,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Languages, Compilers, Interpreters,Software Engineering
888. Theory of Digital Automat
المؤلف: / by Bohdan Borowik, Mykola Karpinskyy, Valery Lahno, Oleksandr Petrov
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Engineering,Logic design,Mathematics,Systems engineering,Electronic books
رده :
E-BOOK
889. . Thomas C.Bartee, Computer Architecture and Logic Design
المؤلف: Bartee,Thomas.C
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Computer Architecture,، Logic Design
رده :
AQ
76
.
9/
A73B374
890. Tools for Practical Software Verification :
المؤلف: edited by Bertrand Meyer, Martin Nordio.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
V47
E358
2012
891. Topics in engineering logic
المؤلف: Madler, Morton.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Design and construction,، Logic, Symbolic and mathematical
رده :
TK
7888
.
3
.
N3
1962
892. Towards Evolvable Hardware :
المؤلف: edited by Eduardo Sanchez, Marco Tomassini.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic design.
رده :
TK7888
.
4
E358
1996
893. Transactions on computational science XXXIII /
المؤلف: Marina L. Gavrilova, C.J. Kenneth Tan (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Internet of things.,Wireless communication systems.,Computer Applications.,Computer Communication Networks.,Logic Design.,Mathematics of Computing.,Operating Systems.,Theory of Computation.,Computer architecture & logic design.,Computer science.,Computers-- Computer Science.,Computers-- Data Processing.,Computers-- Hardware-- Network Hardware.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Information technology: general issues.,Internet of things.,Mathematical theory of computation.,Network hardware.,Operating systems.,Wireless communication systems.
رده :
TK5105
.
8857
894. Trends in Functional Programming :
المؤلف: edited by Jay McCarthy.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.
رده :
QA76
.
62
E358
2014
895. Trends in Functional Programming
المؤلف: \ Jurriaan Hage , Jay McCarthy (Eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Functional programming (Computer science) -- Congresses.,Logic design -- Computer programs -- Congresses.,Data structures (Computer science) -- Congresses.,طراحی منطقی -- برنامه‌های کامپیوتری -- کنگره ها ,ساختار داده‌ها -- کنگره ها
رده :
QA
76
.
62
.
T7
2015
E-Book
,
896. Trends in functional programming :
المؤلف: Michał Pałka, Magnus Myreen (Eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer science.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.,Logic design.,Operating systems (Computers)
رده :
QA76
.
62
.
I58
2018
897. Trends in functional programming :
المؤلف: David Van Horn, John Hughes (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.
رده :
QA76
.
62
898. Trends in functional programming :
المؤلف: edited by Meng Wang, Scott Owens.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer architecture.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Expert systems-- knowledge-based systems.,Operating systems (Computers),Operating systems.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
62
899. Typed Lambda Calculi and Applications :
المؤلف: edited by Marc Bezem, Jan Friso Groote.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.,Logic, Symbolic and mathematical.
900. Typed Lambda Calculi and Applications :
المؤلف: edited by Masahito Hasegawa.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra -- Data processing.,Computer science.,Logic design.
رده :
QA9
.
5
E358
2013
